منابع مشابه
Extensions of Infinite Partition Regular Systems
A finite or infinite matrixA with rational entries (and only finitely many non-zero entries in each row) is called image partition regular if, whenever the natural numbers are finitely coloured, there is a vector x, with entries in the natural numbers, such that Ax is monochromatic. Many of the classical results of Ramsey theory are naturally stated in terms of image partition regularity. Our a...
متن کاملThue Systems for Pattern Recognition
This report presents a synoptic overview of Thue Systems. Thue Systems were introduced in the early 1900s by the Norwegian mathematician and logician Axel Thue. In this report the author suggests ways in which such systems can be used in pattern recognition.
متن کاملRegular Infinite Economies
The main contribution of this paper is to place smooth infinite economies in the setting of the equilibrium manifold and the natural projection map à la Balasko. We show that smooth infinite economies have an equilibrium set that has the structure of a Banach manifold and that the natural projection map is smooth. We define regular and critical economies, and regular and critical prices, and we...
متن کاملTransitive Closures of Regular Relations for Verifying Infinite-State Systems
We consider a model for representing innnite-state and para-meterized systems, in which states are represented as strings over a nite alphabet. Actions are transformations on strings, in which the change can be characterized by an arbitrary nite-state transducer. This program model is able to represent programs operating on a variety of data structures, such as queues, stacks, integers, and sys...
متن کاملVerifying Systems with Infinite but Regular State Spaces
Thanks to the development of a number of eeciency enhancing techniques, state-space exploration based veriication, and in particular model checking, has been quite successful for nite-state systems. This has prompted eeorts to apply a similar approach to systems with innnite state spaces. Doing so amounts to developing algorithms for computing a symbolic representation of the innnite state spac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1983
ISSN: 0304-3975
DOI: 10.1016/0304-3975(83)90060-9